#include "DTD_Enum.h"

using namespace std;


DTD_Enum::DTD_Enum( vector<string> names )
{
	this->names = names;
}



string DTD_Enum::toString(){

	string R = "";
	for (unsigned int i = 0; i < names.size(); i++)
	{
	    R += names.at(i);
	    R += " | ";
	}


	return " ( " + R + " ) ";

}
